Optimal hybrid control for switched affine systems under safety and liveness constraints | IEEE Conference Publication | IEEE Xplore